type erasure in java example